|
|
|
| e-Pub |
Previous | 
Home
Section: New Software and Platforms
Ssreflect
Functional Description
Ssreflect is a tactic language extension to the Coq system, developed by the Mathematical Components team.
Overall Objectives
Research Program
New Results
- Integration of rational functions
- Multiple binomial sums
- Diagonals of rational functions and selected differential Galois groups
- Algebraic Diagonals and Walks
- A human proof of the Gessel conjecture
- Enumeration of 3-dimensional lattice walks confined to the positive octant
- Efficient algorithms for rational first integrals
- Quasi-optimal computation of the
p - Axiomatic constraint systems for proof search modulo theories
- DynaMoW: Dynamic Mathematics on the Web
- ECS: Encyclopedia of Combinatorial Structures
- Mathematical Components Library
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography